Modeling Adaptive Multi-Agent Organizations for Naval Missions

The naval domain is characterized by a dynamic environment. This requires constant adaptation of the organization, choosing between a wide variety of options. The consequences of the different options are difficult to foresee and hence, it is hard to judge which is best. This paper presents automated support for simulation, visualization, and validation of such adaptive multi-agent organisations. Generic simulation properties are specified using a formal modeling approach. Furthermore, results of a realistic case study are presented, and validated by means of properties obtained from naval experts. Finally, a tool is introduced that enables an insightful visualization of the simulation results.